首页> 外文OA文献 >Verification of Programs by Combining Iterated Specialization with Interpolation

【2h】

Verification of Programs by Combining Iterated Specialization with Interpolation

机译：迭代专业化与插值相结合验证程序

代理获取

本网站仅为用户提供外文OA文献查询和代理获取服务，本网站没有原文。下单后我们将采用程序或人工为您竭诚获取高质量的原文，但由于OA文献来源多样且变更频繁，仍可能出现获取不到、文献不完整或与标题不符等情况，如果获取不到我们将提供退款服务。请知悉。

页面导航

著录项
引文网络
相似文献
相关主题

著录项

作者
Emanuele De Angelis; Fabio Fioravanti; Jorge A. Navas; Maurizio Proietti;
展开▼
作者单位

展开▼
年度 2014
总页数
原文格式 PDF
正文语种
中图分类

相似文献

外文文献
中文文献
专利

1. Program verification via iterated specialization [J] . E. De Angelis, F. Fioravanti, A. Pettorossi, Science of Computer Programming . 2014,第pta2期

机译：通过迭代专业化进行程序验证
2. Motion-vector optimization of control grid interpolation and overlapped block motion compensation using iterated dynamic programming [J] . Chen M.C., Willson A.N. Jr. IEEE Transactions on Image Processing . 2000,第7期

机译：使用迭代动态规划的控制网格插值和重叠块运动补偿的运动矢量优化
3. PolyCheck: Dynamic Verification of Iteration Space Transformations on Affine Programs [J] . Bao Wenlei, Krishnamoorthy Sriram, Pouchet Louis-Noel, ACM SIGPLAN Notices: A Monthly Publication of the Special Interest Group on Programming Languages . 2016,第1期

机译：PolyCheck：仿射程序上迭代空间转换的动态验证
4. Verifying Programs via Iterated Specialization [C] . Emanuele De Angelis, Fabio Fioravanti, Alberto Pettorossi, ACM SIGPLAN Workshop on Partial Evaluation and Program Manipulation . 2013

机译：通过迭代专业验证程序
5. Software Verification with Program-Graph Interpolation and Abstraction [D] . Albarghouthi, Aws 2015

机译：程序图插值和抽象的软件验证
6. Iterative High-Accuracy Parameter Estimation of Uncooperative OFDM-LFM Radar Signals Based on FrFT and Fractional Autocorrelation Interpolation [O] . Yifei Liu, Yuan Zhao, Jun Zhu, 2018

机译：基于FrFT和分数自相关插值的不合作OFDM-LFM雷达信号的迭代高精度参数估计
7. Verification of Programs by Combining Iterated Specialization with Interpolation [O] . C E. De Angelis, F. Fioravanti, J. A. Navas, 2014

机译：迭代专业化与插值相结合验证程序
8. A New Verification Strategy for Iterative Programs [R] . Dunlop, D. D., Basili, V. R. 1981

机译：一种新的迭代程序验证策略

Verification of Programs by Combining Iterated Specialization with Interpolation

著录项

引文网络

相似文献

相关主题

期刊订阅